Institute of Mathematics - PDFSEARCH.IO - Document Search Engine

Institute of Mathematics
Results: 3022

#	Item
781	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
782	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
783	Testimony of Anthony F. (Bud) Rock President and Chief Executive Officer, Association of Science-Technology Centers submitted to the House Appropriations Subcommittee on Labor, Health and Human Services, Education, and R Add to Reading List Source URL: www.astc.org Language: English - Date: 2015-04-29 16:26:39 Association of Science-Technology Centers 21st Century Community Learning Center National Institutes of Health STEM fields Science education Mathematics and science partnerships Education Medicine Institute of Museum and Library Services
784	University of Utah Department of Mathematics April 2009 Volume 9, Number 4 Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2009-10-08 15:08:57 Mathematical Sciences Research Institute Mathematical sciences Utah State University Emmy Noether Mathematical Association of America Mathematics education Statistics education Science Mathematics
785	Science Academies’ Education Programme Lecture Workshop for Pre-University Students in Elementary Mathematics Department of Mathematics, Christ University, BangaloreJanuary 2015 Add to Reading List Source URL: web-japps.ias.ac.in Language: English - Date: 2015-02-05 01:42:45 Bangalore Christ Junior College Indian Statistical Institute States and territories of India Education in India India
786	UNIVERSITY OF UTAH MATHEMATICS DEPARTMENT NEWSLETTERA WORD FROM THE CHAIRMAN The first full academic year of the decade Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2000-12-07 14:24:31 Knowledge Courant Institute of Mathematical Sciences Charles Coulson Academic administration Professor Titles
787	RDT+ : A Parameter-free Algorithm for Exact Motion Planning Nikolaus Vahrenkamp, Peter Kaiser, Tamim Asfour and R¨udiger Dillmann Institute for Anthropomatics Karlsruhe Institute of Technology Adenauerring 2, 76131 Karl Add to Reading List Source URL: wwwiaim.ira.uka.de Language: English - Date: 2011-05-02 05:22:11 Robot control Search algorithms Robot kinematics Motion planning Computational physics Artificial intelligence Collision detection Probabilistic roadmap A* search algorithm Theoretical computer science Mathematics Applied mathematics
788	Performance Indicators of Max Planck Institutes Add to Reading List Source URL: www.scimagolab.com Language: English - Date: 2011-07-13 19:43:27 Max Planck Institute for Mathematics Planck Space Science Spaceflight Max Planck Institute for Radio Astronomy Max Planck Society
789	IAS The Institute Letter SummerInstitute for Advanced Study Add to Reading List Source URL: www.ias.edu Language: English - Date: 2014-10-15 11:36:07 Consciousness Mental calculators Philosophers of mathematics Philosophers of science Max Planck Mathematics John von Neumann Emmy Noether Edmund Husserl Science Cognitive science Mind
790	Journal of Economic Theory ET2210 journal of economic theory 71, 558article noEvolutionary Selection against Dominated Strategies* Josef Hofbauer Institute of Mathematics, Vienna University, Strudlho Add to Reading List Source URL: www.dklevine.com Language: English - Date: 2010-12-10 18:40:54 Problem solving Replicator equation Convex function Normal-form game Evolutionary game theory Monotonic function Best response Differential equation Cooperative game Game theory Mathematical analysis Mathematics

UPDATE